Integrals 501 to 600

[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is deﬁned as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table ﬁt, Mathematica was abbreviated to MMA.


Problem 501	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	101	101	85	100	114	178	116	108	111
N.S.	1	1.00	0.84	0.99	1.13	1.76	1.15	1.07	1.10
time (sec)	N/A	0.069	0.040	0.048	0.301	0.338	0.332	5.888	4.664


Problem 502	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	117	117	99	85	116	322	172	96	109
N.S.	1	1.00	0.85	0.73	0.99	2.75	1.47	0.82	0.93
time (sec)	N/A	0.048	0.041	0.046	0.520	0.353	0.302	4.521	0.062


Problem 503	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	104	104	89	74	104	296	156	84	99
N.S.	1	1.00	0.86	0.71	1.00	2.85	1.50	0.81	0.95
time (sec)	N/A	0.042	0.032	0.039	0.519	0.372	0.287	4.020	4.359


Problem 504	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	93	93	77	62	90	268	131	65	86
N.S.	1	1.00	0.83	0.67	0.97	2.88	1.41	0.70	0.92
time (sec)	N/A	0.032	0.031	0.039	0.537	0.331	0.263	4.373	0.103


Problem 505	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	83	83	66	58	81	254	134	56	78
N.S.	1	1.00	0.80	0.70	0.98	3.06	1.61	0.67	0.94
time (sec)	N/A	0.026	0.027	0.040	0.505	0.345	0.220	3.978	4.388


Problem 506	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	B	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	84	84	69	58	87	258	143	62	75
N.S.	1	1.00	0.82	0.69	1.04	3.07	1.70	0.74	0.89
time (sec)	N/A	0.026	0.031	0.056	0.543	0.367	0.194	4.058	4.349


Problem 507	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	B	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	85	85	69	58	87	258	139	62	74
N.S.	1	1.00	0.81	0.68	1.02	3.04	1.64	0.73	0.87
time (sec)	N/A	0.026	0.027	0.040	0.490	0.338	0.188	3.856	4.313


Problem 508	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	79	79	66	78	80	254	129	56	77
N.S.	1	1.00	0.84	0.99	1.01	3.22	1.63	0.71	0.97
time (sec)	N/A	0.024	0.025	0.035	0.488	0.343	0.193	4.098	4.356


Problem 509	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	95	95	79	65	93	268	139	68	88
N.S.	1	1.00	0.83	0.68	0.98	2.82	1.46	0.72	0.93
time (sec)	N/A	0.036	0.030	0.044	0.541	0.361	0.261	3.719	4.438


Problem 510	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	106	106	91	75	108	304	162	82	102
N.S.	1	1.00	0.86	0.71	1.02	2.87	1.53	0.77	0.96
time (sec)	N/A	0.042	0.034	0.046	0.530	0.358	0.327	3.657	4.449


Problem 511	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	119	119	101	87	119	330	173	93	114
N.S.	1	1.00	0.85	0.73	1.00	2.77	1.45	0.78	0.96
time (sec)	N/A	0.050	0.037	0.051	0.512	0.362	0.325	3.971	4.465


Problem 512	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	133	133	114	124	143	203	150	113	142
N.S.	1	1.00	0.86	0.93	1.08	1.53	1.13	0.85	1.07
time (sec)	N/A	0.097	0.018	0.075	0.284	0.355	0.477	4.133	0.130


Problem 513	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	118	118	101	113	132	190	138	95	132
N.S.	1	1.00	0.86	0.96	1.12	1.61	1.17	0.81	1.12
time (sec)	N/A	0.079	0.020	0.052	0.291	0.378	0.453	3.239	4.600


Problem 514	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	109	109	72	98	121	168	124	75	119
N.S.	1	1.00	0.66	0.90	1.11	1.54	1.14	0.69	1.09
time (sec)	N/A	0.068	0.017	0.063	0.279	0.327	0.374	3.051	4.370


Problem 515	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	B	B	B	B	B	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	19	19	57	81	102	102	107	55	104
N.S.	1	1.00	3.00	4.26	5.37	5.37	5.63	2.89	5.47
time (sec)	N/A	0.005	0.012	0.044	0.285	0.346	0.324	3.866	4.446


Problem 516	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	B	B	B	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	39	39	46	65	91	91	95	44	93
N.S.	1	1.00	1.18	1.67	2.33	2.33	2.44	1.13	2.38
time (sec)	N/A	0.018	0.011	0.045	0.320	0.343	0.291	3.834	0.054


Problem 517	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	53	53	35	48	80	80	83	33	81
N.S.	1	1.00	0.66	0.91	1.51	1.51	1.57	0.62	1.53
time (sec)	N/A	0.032	0.010	0.041	0.278	0.323	0.264	4.110	4.618


Problem 518	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	B	B	B	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	34	34	24	31	69	69	71	22	70
N.S.	1	1.00	0.71	0.91	2.03	2.03	2.09	0.65	2.06
time (sec)	N/A	0.021	0.007	0.043	0.283	0.320	0.248	3.791	4.478


Problem 519	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	B	B	B	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	16	16	16	15	59	59	63	14	61
N.S.	1	1.00	1.00	0.94	3.69	3.69	3.94	0.88	3.81
time (sec)	N/A	0.004	0.002	0.039	0.290	0.360	0.232	5.521	0.058


Problem 520	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	B	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	102	102	76	110	126	222	128	92	122
N.S.	1	1.00	0.75	1.08	1.24	2.18	1.25	0.90	1.20
time (sec)	N/A	0.069	0.042	0.059	0.283	0.339	0.365	3.585	0.238


Problem 521	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	B	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	116	116	92	123	143	251	150	115	141
N.S.	1	1.00	0.79	1.06	1.23	2.16	1.29	0.99	1.22
time (sec)	N/A	0.086	0.059	0.066	0.295	0.380	0.427	3.571	4.677


Problem 522	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	B	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	140	140	107	134	158	266	165	130	155
N.S.	1	1.00	0.76	0.96	1.13	1.90	1.18	0.93	1.11
time (sec)	N/A	0.099	0.042	0.072	0.289	0.380	0.469	3.314	4.912


Problem 523	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	155	155	122	107	159	454	218	117	153
N.S.	1	1.00	0.79	0.69	1.03	2.93	1.41	0.75	0.99
time (sec)	N/A	0.069	0.044	0.060	0.501	0.347	0.491	2.856	0.106


Problem 524	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	142	142	111	96	148	428	204	106	143
N.S.	1	1.00	0.78	0.68	1.04	3.01	1.44	0.75	1.01
time (sec)	N/A	0.061	0.040	0.056	0.496	0.338	0.477	3.000	4.520


Problem 525	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	131	131	100	84	134	400	178	87	130
N.S.	1	1.00	0.76	0.64	1.02	3.05	1.36	0.66	0.99
time (sec)	N/A	0.050	0.035	0.055	0.492	0.360	0.434	3.589	0.158


Problem 526	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	121	121	88	80	125	386	182	78	122
N.S.	1	1.00	0.73	0.66	1.03	3.19	1.50	0.64	1.01
time (sec)	N/A	0.047	0.035	0.056	0.494	0.429	0.363	4.698	4.522


Problem 527	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	122	122	91	80	131	390	194	84	119
N.S.	1	1.00	0.75	0.66	1.07	3.20	1.59	0.69	0.98
time (sec)	N/A	0.046	0.040	0.053	0.487	0.354	0.337	5.479	4.421


Problem 528	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	123	123	91	78	133	390	196	84	117
N.S.	1	1.00	0.74	0.63	1.08	3.17	1.59	0.68	0.95
time (sec)	N/A	0.048	0.041	0.056	0.488	0.345	0.320	3.460	4.504


Problem 529	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	124	124	91	78	133	390	196	84	116
N.S.	1	1.00	0.73	0.63	1.07	3.15	1.58	0.68	0.94
time (sec)	N/A	0.047	0.035	0.052	0.498	0.335	0.297	3.473	4.468


Problem 530	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	125	125	91	80	131	390	190	84	118
N.S.	1	1.00	0.73	0.64	1.05	3.12	1.52	0.67	0.94
time (sec)	N/A	0.046	0.036	0.052	0.501	0.357	0.290	3.986	4.482


Problem 531	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	113	113	89	120	124	386	177	78	121
N.S.	1	1.00	0.79	1.06	1.10	3.42	1.57	0.69	1.07
time (sec)	N/A	0.042	0.032	0.066	0.509	0.351	0.297	3.834	4.707


Problem 532	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	133	133	101	87	137	400	187	90	132
N.S.	1	1.00	0.76	0.65	1.03	3.01	1.41	0.68	0.99
time (sec)	N/A	0.056	0.039	0.059	0.501	0.351	0.391	3.773	4.581


Problem 533	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	144	144	113	97	152	436	209	104	146
N.S.	1	1.00	0.78	0.67	1.06	3.03	1.45	0.72	1.01
time (sec)	N/A	0.068	0.042	0.065	0.507	0.361	0.414	4.100	4.623


Problem 534	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	157	157	123	109	163	462	221	115	158
N.S.	1	1.00	0.78	0.69	1.04	2.94	1.41	0.73	1.01
time (sec)	N/A	0.076	0.043	0.072	0.519	0.437	0.450	4.221	4.648


Problem 535	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	19	19	16	16	15	19	12	15	16
N.S.	1	1.00	0.84	0.84	0.79	1.00	0.63	0.79	0.84
time (sec)	N/A	0.002	0.005	0.011	0.487	0.322	0.031	4.098	0.034


Problem 536	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	11	11	11	10	9	9	8	9	11
N.S.	1	1.00	1.00	0.91	0.82	0.82	0.73	0.82	1.00
time (sec)	N/A	0.002	0.001	0.021	0.296	0.365	0.018	3.882	0.018


Problem 537	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	19	19	19	16	15	21	12	15	17
N.S.	1	1.00	1.00	0.84	0.79	1.11	0.63	0.79	0.89
time (sec)	N/A	0.003	0.006	0.015	0.523	0.379	0.029	3.691	0.027


Problem 538	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	22	22	18	19	18	23	15	18	18
N.S.	1	1.00	0.82	0.86	0.82	1.05	0.68	0.82	0.82
time (sec)	N/A	0.007	0.005	0.012	0.283	0.362	0.024	3.862	0.035


Problem 539	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	13	13	11	10	9	9	8	9	11
N.S.	1	1.00	0.85	0.77	0.69	0.69	0.62	0.69	0.85
time (sec)	N/A	0.001	0.001	0.029	0.281	0.330	0.021	4.103	0.046


Problem 540	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	24	24	20	19	18	23	14	19	18
N.S.	1	1.00	0.83	0.79	0.75	0.96	0.58	0.79	0.75
time (sec)	N/A	0.011	0.005	0.013	0.291	0.324	0.024	3.882	4.228


Problem 541	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	79	79	39	36	13	13	12	29	71
N.S.	1	1.00	0.49	0.46	0.16	0.16	0.15	0.37	0.90
time (sec)	N/A	0.042	0.010	0.049	0.285	0.344	0.010	3.598	4.455


Problem 542	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	67	67	39	36	13	13	12	23	59
N.S.	1	1.00	0.58	0.54	0.19	0.19	0.18	0.34	0.88
time (sec)	N/A	0.034	0.005	0.054	0.304	0.346	0.010	3.115	4.310


Problem 543	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	36	36	38	24	14	13	12	22	33
N.S.	1	1.00	1.06	0.67	0.39	0.36	0.33	0.61	0.92
time (sec)	N/A	0.018	0.005	0.036	0.296	0.358	0.011	3.131	4.352


Problem 544	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	75	75	37	34	14	11	10	30	109
N.S.	1	1.00	0.49	0.45	0.19	0.15	0.13	0.40	1.45
time (sec)	N/A	0.014	0.007	0.020	0.288	0.334	0.023	3.307	4.394


Problem 545	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	75	75	39	38	14	17	10	45	112
N.S.	1	1.00	0.52	0.51	0.19	0.23	0.13	0.60	1.49
time (sec)	N/A	0.015	0.008	0.018	0.284	0.346	0.036	3.603	4.450


Problem 546	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	39	39	37	34	13	13	14	30	33
N.S.	1	1.00	0.95	0.87	0.33	0.33	0.36	0.77	0.85
time (sec)	N/A	0.025	0.006	0.020	0.286	0.336	0.040	4.262	4.212


Problem 547	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	72	72	39	36	15	15	15	31	35
N.S.	1	1.00	0.54	0.50	0.21	0.21	0.21	0.43	0.49
time (sec)	N/A	0.010	0.006	0.019	0.281	0.317	0.046	4.319	4.238


Problem 548	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	79	79	39	36	15	15	15	31	35
N.S.	1	1.00	0.49	0.46	0.19	0.19	0.19	0.39	0.44
time (sec)	N/A	0.039	0.006	0.020	0.309	0.318	0.055	4.311	4.242


Problem 549	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	79	79	39	36	15	15	15	31	35
N.S.	1	1.00	0.49	0.46	0.19	0.19	0.19	0.39	0.44
time (sec)	N/A	0.039	0.006	0.020	0.281	0.365	0.063	4.524	4.215


Problem 550	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	79	79	39	36	13	13	12	29	-1
N.S.	1	1.00	0.49	0.46	0.16	0.16	0.15	0.37	-0.01
time (sec)	N/A	0.016	0.005	0.047	0.273	0.355	0.010	5.978	0.000


Problem 551	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	79	79	39	36	13	13	12	29	-1
N.S.	1	1.00	0.49	0.46	0.16	0.16	0.15	0.37	-0.01
time (sec)	N/A	0.015	0.005	0.046	0.276	0.349	0.011	3.657	0.000


Problem 552	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	74	74	36	33	10	10	8	20	-1
N.S.	1	1.00	0.49	0.45	0.14	0.14	0.11	0.27	-0.01
time (sec)	N/A	0.009	0.005	0.014	0.282	0.391	0.009	6.428	0.000


Problem 553	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	72	72	35	34	10	13	5	26	-1
N.S.	1	1.00	0.49	0.47	0.14	0.18	0.07	0.36	-0.01
time (sec)	N/A	0.014	0.007	0.033	0.282	0.345	0.022	4.023	0.000


Problem 554	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	77	77	37	34	13	13	14	30	33
N.S.	1	1.00	0.48	0.44	0.17	0.17	0.18	0.39	0.43
time (sec)	N/A	0.015	0.006	0.018	0.289	0.344	0.039	3.963	4.244


Problem 555	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	79	79	39	36	15	15	15	31	35
N.S.	1	1.00	0.49	0.46	0.19	0.19	0.19	0.39	0.44
time (sec)	N/A	0.015	0.005	0.019	0.288	0.407	0.046	4.223	4.211


Problem 556	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	79	79	39	36	15	15	15	31	35
N.S.	1	1.00	0.49	0.46	0.19	0.19	0.19	0.39	0.44
time (sec)	N/A	0.016	0.006	0.018	0.272	0.336	0.054	4.213	4.184


Problem 557	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	A	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	79	79	39	36	15	15	15	31	35
N.S.	1	1.00	0.49	0.46	0.19	0.19	0.19	0.39	0.44
time (sec)	N/A	0.015	0.006	0.020	0.284	0.371	0.062	4.025	4.195


Problem 558	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	61	58	35	35	0	67	-1
N.S.	1	1.00	0.37	0.35	0.21	0.21	0.00	0.40	-0.01
time (sec)	N/A	0.077	0.013	0.047	0.294	0.339	0.000	3.899	0.000


Problem 559	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	61	58	35	35	0	67	-1
N.S.	1	1.00	0.37	0.35	0.21	0.21	0.00	0.40	-0.01
time (sec)	N/A	0.077	0.011	0.046	0.275	0.375	0.000	3.760	0.000


Problem 560	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	106	119	61	58	35	35	0	67	-1
N.S.	1	1.12	0.58	0.55	0.33	0.33	0.00	0.63	-0.01
time (sec)	N/A	0.056	0.011	0.060	0.281	0.345	0.000	3.893	0.000


Problem 561	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	67	67	61	58	35	35	0	45	46
N.S.	1	1.00	0.91	0.87	0.52	0.52	0.00	0.67	0.69
time (sec)	N/A	0.035	0.011	0.038	0.322	0.353	0.000	4.209	4.286


Problem 562	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	36	36	27	24	35	35	0	44	36
N.S.	1	1.00	0.75	0.67	0.97	0.97	0.00	1.22	1.00
time (sec)	N/A	0.018	0.008	0.045	0.305	0.323	0.000	3.646	4.253


Problem 563	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	163	163	60	57	33	33	0	68	-1
N.S.	1	1.00	0.37	0.35	0.20	0.20	0.00	0.42	-0.01
time (sec)	N/A	0.031	0.014	0.021	0.288	0.332	0.000	3.437	0.000


Problem 564	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	164	164	62	59	34	38	0	87	-1
N.S.	1	1.00	0.38	0.36	0.21	0.23	0.00	0.53	-0.01
time (sec)	N/A	0.033	0.015	0.035	0.288	0.381	0.000	4.037	0.000


Problem 565	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	164	164	61	60	34	39	0	87	-1
N.S.	1	1.00	0.37	0.37	0.21	0.24	0.00	0.53	-0.01
time (sec)	N/A	0.032	0.011	0.024	0.286	0.357	0.000	3.604	0.000


Problem 566	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	163	163	63	60	33	39	0	87	-1
N.S.	1	1.00	0.39	0.37	0.20	0.24	0.00	0.53	-0.01
time (sec)	N/A	0.033	0.015	0.023	0.297	0.355	0.000	4.336	0.000


Problem 567	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	41	41	59	56	35	35	0	68	151
N.S.	1	1.00	1.44	1.37	0.85	0.85	0.00	1.66	3.68
time (sec)	N/A	0.026	0.011	0.023	0.283	0.370	0.000	4.012	4.243


Problem 568	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	72	72	61	58	35	37	0	69	151
N.S.	1	1.00	0.85	0.81	0.49	0.51	0.00	0.96	2.10
time (sec)	N/A	0.011	0.010	0.023	0.300	0.349	0.000	4.247	4.203


Problem 569	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	61	58	35	37	0	69	151
N.S.	1	1.00	0.37	0.35	0.21	0.22	0.00	0.41	0.90
time (sec)	N/A	0.073	0.010	0.023	0.292	0.364	0.000	3.752	4.207


Problem 570	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	61	58	35	37	0	69	151
N.S.	1	1.00	0.37	0.35	0.21	0.22	0.00	0.41	0.90
time (sec)	N/A	0.074	0.012	0.025	0.279	0.415	0.000	4.186	4.212


Problem 571	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	61	58	35	37	0	69	151
N.S.	1	1.00	0.37	0.35	0.21	0.22	0.00	0.41	0.90
time (sec)	N/A	0.071	0.010	0.025	0.290	0.363	0.000	3.937	4.234


Problem 572	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	61	58	35	35	0	67	-1
N.S.	1	1.00	0.37	0.35	0.21	0.21	0.00	0.40	-0.01
time (sec)	N/A	0.029	0.011	0.046	0.293	0.424	0.000	4.036	0.000


Problem 573	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	61	58	35	35	0	67	-1
N.S.	1	1.00	0.37	0.35	0.21	0.21	0.00	0.40	-0.01
time (sec)	N/A	0.028	0.011	0.047	0.287	0.365	0.000	4.372	0.000


Problem 574	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	61	58	35	35	0	67	-1
N.S.	1	1.00	0.37	0.35	0.21	0.21	0.00	0.40	-0.01
time (sec)	N/A	0.029	0.011	0.047	0.280	0.379	0.000	3.136	0.000


Problem 575	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	61	58	35	35	0	67	-1
N.S.	1	1.00	0.37	0.35	0.21	0.21	0.00	0.40	-0.01
time (sec)	N/A	0.028	0.008	0.047	0.286	0.342	0.000	2.884	0.000


Problem 576	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	159	159	59	56	31	31	0	63	-1
N.S.	1	1.00	0.37	0.35	0.19	0.19	0.00	0.40	-0.01
time (sec)	N/A	0.022	0.009	0.016	0.304	0.371	0.000	4.071	0.000


Problem 577	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	158	158	60	58	32	36	0	64	-1
N.S.	1	1.00	0.38	0.37	0.20	0.23	0.00	0.41	-0.01
time (sec)	N/A	0.027	0.011	0.022	0.281	0.407	0.000	4.973	0.000


Problem 578	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	161	161	59	56	33	36	0	67	-1
N.S.	1	1.00	0.37	0.35	0.20	0.22	0.00	0.42	-0.01
time (sec)	N/A	0.027	0.010	0.023	0.271	0.356	0.000	3.096	0.000


Problem 579	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	158	158	59	56	32	37	0	66	-1
N.S.	1	1.00	0.37	0.35	0.20	0.23	0.00	0.42	-0.01
time (sec)	N/A	0.027	0.010	0.022	0.294	0.368	0.000	3.118	0.000


Problem 580	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	163	163	61	58	35	37	0	69	151
N.S.	1	1.00	0.37	0.36	0.21	0.23	0.00	0.42	0.93
time (sec)	N/A	0.029	0.009	0.021	0.277	0.350	0.000	4.840	4.255


Problem 581	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	61	58	35	37	0	69	151
N.S.	1	1.00	0.37	0.35	0.21	0.22	0.00	0.41	0.90
time (sec)	N/A	0.032	0.009	0.021	0.280	0.325	0.000	6.164	4.264


Problem 582	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	61	58	35	37	0	69	151
N.S.	1	1.00	0.37	0.35	0.21	0.22	0.00	0.41	0.90
time (sec)	N/A	0.028	0.012	0.021	0.279	0.335	0.000	4.103	4.549


Problem 583	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	61	58	35	37	0	69	151
N.S.	1	1.00	0.37	0.35	0.21	0.22	0.00	0.41	0.90
time (sec)	N/A	0.029	0.010	0.023	0.324	0.331	0.000	5.692	4.630


Problem 584	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	167	167	61	58	35	37	0	69	151
N.S.	1	1.00	0.37	0.35	0.21	0.22	0.00	0.41	0.90
time (sec)	N/A	0.029	0.010	0.023	0.299	0.327	0.000	4.959	4.297


Problem 585	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	57	0	105	-1
N.S.	1	1.00	0.33	0.31	0.22	0.22	0.00	0.41	-0.00
time (sec)	N/A	0.113	0.017	0.048	0.279	0.332	0.000	4.410	0.000


Problem 586	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	255	255	83	80	57	57	0	105	-1
N.S.	1	1.00	0.33	0.31	0.22	0.22	0.00	0.41	-0.00
time (sec)	N/A	0.108	0.014	0.047	0.312	0.324	0.000	4.051	0.000


Problem 587	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	201	201	83	80	57	57	0	105	-1
N.S.	1	1.00	0.41	0.40	0.28	0.28	0.00	0.52	-0.00
time (sec)	N/A	0.091	0.014	0.048	0.331	0.328	0.000	4.596	0.000


Problem 588	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	160	160	83	80	57	57	0	105	-1
N.S.	1	1.00	0.52	0.50	0.36	0.36	0.00	0.66	-0.01
time (sec)	N/A	0.081	0.014	0.049	0.297	0.350	0.000	4.103	0.000


Problem 589	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	119	119	83	80	56	56	0	104	-1
N.S.	1	1.00	0.70	0.67	0.47	0.47	0.00	0.87	-0.01
time (sec)	N/A	0.065	0.014	0.046	0.287	0.340	0.000	4.214	0.000


Problem 590	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	67	67	83	80	56	56	0	67	-1
N.S.	1	1.00	1.24	1.19	0.84	0.84	0.00	1.00	-0.01
time (sec)	N/A	0.034	0.014	0.037	0.281	0.344	0.000	3.324	0.000


Problem 591	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	36	36	27	24	57	57	0	66	36
N.S.	1	1.00	0.75	0.67	1.58	1.58	0.00	1.83	1.00
time (sec)	N/A	0.018	0.009	0.037	0.294	0.346	0.000	3.458	4.404


Problem 592	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	251	251	82	79	55	55	0	106	-1
N.S.	1	1.00	0.33	0.31	0.22	0.22	0.00	0.42	-0.00
time (sec)	N/A	0.044	0.017	0.023	0.286	0.342	0.000	3.709	0.000


Problem 593	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	250	250	85	82	56	61	0	125	-1
N.S.	1	1.00	0.34	0.33	0.22	0.24	0.00	0.50	-0.00
time (sec)	N/A	0.050	0.017	0.026	0.276	0.352	0.000	3.916	0.000


Problem 594	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	250	250	85	82	56	61	0	127	-1
N.S.	1	1.00	0.34	0.33	0.22	0.24	0.00	0.51	-0.00
time (sec)	N/A	0.048	0.018	0.026	0.300	0.334	0.000	4.319	0.000


Problem 595	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	250	250	85	82	56	61	0	128	-1
N.S.	1	1.00	0.34	0.33	0.22	0.24	0.00	0.51	-0.00
time (sec)	N/A	0.050	0.017	0.037	0.289	0.327	0.000	2.908	0.000


Problem 596	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	250	250	85	82	56	61	0	126	-1
N.S.	1	1.00	0.34	0.33	0.22	0.24	0.00	0.50	-0.00
time (sec)	N/A	0.046	0.014	0.026	0.298	0.327	0.000	3.978	0.000


Problem 597	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	F
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	251	251	85	82	55	61	0	125	-1
N.S.	1	1.00	0.34	0.33	0.22	0.24	0.00	0.50	-0.00
time (sec)	N/A	0.046	0.019	0.029	0.282	0.336	0.000	4.186	0.000


Problem 598	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	B	B	B	F	B	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	41	41	81	78	57	57	0	106	231
N.S.	1	1.00	1.98	1.90	1.39	1.39	0.00	2.59	5.63
time (sec)	N/A	0.027	0.012	0.036	0.275	0.363	0.000	4.481	4.178


Problem 599	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	72	72	83	80	57	59	0	107	231
N.S.	1	1.00	1.15	1.11	0.79	0.82	0.00	1.49	3.21
time (sec)	N/A	0.011	0.013	0.023	0.280	0.324	0.000	4.476	4.219


Problem 600	Optimal	Rubi	MMA	Maple	Maxima	Fricas	Sympy	Giac	Mupad

grade	A	A	A	A	A	A	F	A	B
veriﬁed	N/A	Yes	Yes	TBD	TBD	TBD	TBD	TBD	TBD
size	128	128	83	80	57	59	0	107	231
N.S.	1	1.00	0.65	0.62	0.45	0.46	0.00	0.84	1.80
time (sec)	N/A	0.062	0.012	0.025	0.274	0.370	0.000	4.048	4.235

[next] [prev] [prev-tail] [front] [up]